$\forall$$r$:Rng, $b$:$\mathbb{B}$, $p$:$\mid$$r$$\mid$. (when $b$. $p$) $\in$ $\mid$$r$$\mid$